PDF Document

Source URL: homepages.ecs.vuw.ac.nz

• Computer science
• Academia
• Turing degree
• Recursively enumerable set
• Mathematical logic
• Michael Fellows
• Logic
• Model theory
• John Lane Bell
• Computability theory
• Theory of computation
• Mathematics